Scarab: A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems
نویسندگان
چکیده
منابع مشابه
A Constraint-Based Framework for Prototyping Distributed Virtual Applications
This paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, collaborations and games. Our framework integrates three components based on (concurrent) constraint programming ideas: (1) Hybrid cc, a (concurrent) constraint modeling language for hybrid systems, (2) Sisl, a (discrete) timed c...
متن کاملBanshee: A Practical Constraint-Based Analysis Toolkit
We introduceBanshee, a toolkit for constructing constraintbased program analyses. Banshee’s novel features include a code generator for creating customized constraint resolution engines, an incremental analysis facility based on backtracking, and fast persistence based on serializing regions of memory. These features make Banshee useful not only for rapid prototyping, but also as a foundation f...
متن کاملImplementing a Finite Domain Constraint Solving System in KLIC
The paper presents CHUKL, a parallel nite-domain constraint solving system. The implementation is written in the concurrent logic programming language KL1, instead of C. The work challenges the assumption that committed choice concurrent logic programming languages cannot deal with don't know non-determinism. A dynamic forking scheme is designed and implemented to handle choicepoint making. The...
متن کاملModel Based Testing in Evolutionary Software Development
The spiraling nature of evolutionary software development processes produces executable parts of the system at the end of each loop. We argue that these parts should consist not only of programming language code, but of executable graphical system models. As a main bene£t of the use of more abstract, yet formal, modeling languages, we present a method for model based test sequence generation fo...
متن کاملExecuting Underspecified OCL Operation Contracts with a SAT Solver
Executing formal operation contracts is an important technique for requirements validation and rapid prototyping. Current approaches require additional guidance from the user or exhibit poor performance for underspecified contracts that describe the operation results non-constructively. We present an efficient and fully automatic approach to executing OCL operation contracts which uses a satisf...
متن کامل